Special Section on Software Agent and Its Applications

Special Section on Machine Vision and its Applications

The Fifteenth IAPR International Conference on Machine Vision Applications will be held at Nagoya University, Japan, from May 8 through 12, 2017. The conference is co-sponsored by the MVA Organization, IAPR, and Graduate School of Information Science, Nagoya University. In conjunction with the MVA 2017, we plan to publish the special section that consists of the papers published in the MVA 2017...

Special Section on Discrete Mathematics and Its Applications

Special Section on Information Theory and Its Applications

Shannon theory, Source coding, Data compression, Channel coding, Coding theory, Communication theory, Coding and modulation, Transmission technology, Wireless communications, Optical communications, Detection and estimation, Stochastic processes, Sequence design and analysis, Cryptography, Information-theoretic security, Information theory in networks, Network coding, Quantum information theory...

Special Section on Wavelet Applications

In covering a field such as video compression, it would be logical that we begin with the compression lessons learned in (1) and (2) and then define wavelets in (3). Afterwards, we can better delineate the contribution of wavelets to the image and video compression. (1) Syntactic and Semantic Singularity Maps: Lossless data compression is at most a few factor of 2 and is not addressed here. Ima...

Special section on Software Verification and Testing

We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...